41. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
42. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
43. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
44. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
45. Formal models, languages and applications /
Author: editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.
Classification :
QA267
.
3
.
F698
2006eb
46. Foundations of Programming Languages /
Author: by Kent D. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
C65
47. Foundations of software science and computation structures :
Author: FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
48. Fundamental Approaches to Software Engineering
Author: \ Alexander Egyed, Ina Schaefer (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرمافزار -- مهندسی -- کنگرهها ,مهندسی نرم افزار ,زبانهای برنامه نویسی
Classification :
QA76
.
758
.
F44
2015
E-Book
,
49. Fundamentals of Java Programming /
Author: by Mitsunori Ogihara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Java.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Java
Classification :
QA76
.
73
.
J38
50. GAG, a practical compiler generator
Author: / Uwe Kastens, Brigitte Hutt, Erich Zimmermann
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Compilers (Computer programs),Programming languages (Electronic computers)
Classification :
QA
,
76
.
6
,.
K349
,
1982
51. Guide to ILDJIT
Author: Simone Campanoni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Virtual computer systems-- Programming.
52. Handshake circuits :
Author: Kees van Berkel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Asynchronous circuits.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Silicon compilers.,Asynchronous circuits.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Silicon compilers.
Classification :
TK7874
53. High-Level languages and their compilers
Author: / Des Watson
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming languages - (Electronic computers),Coppilers (computer programs)
Classification :
QA
76
.
7
.
W38
1989
54. High-Level languages and their compilers
Author: / Des Watson
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages - (Electronic computers),Coppilers (computer programs)
Classification :
QA
76
.
7
.
W38
1989
55. High-Level languages and theri compilers
Author: / Des Watson,Watson
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Programming language (Electronic Computers),Compilers ( Computer programs)
Classification :
QA
76
.
7
.
W38
1989
56. High-level languages and their compilers
Author: Watson, Des
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Programming languages )Electronic computers(,، Compilers )Computer programs(
Classification :
QA
76
.
7
.
W38
57. High-level languages and their compilers
Author: Des Watson
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Programming languages )Electronic computers(,، Compilers )Computer programs(
Classification :
QA
76
.
7
.
W28H44
1989
58. High- level languages and their compilers
Author: Watson, Des.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Programming languages )Electronic computers(,، Compilers )Computer programs(
Classification :
QA
76
.
7
.
W38
1989
59. High-level languages & their compilers
Author: WATSON,DES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PROGRAMMING LANGUAGES )ELECTRONIC , COMPILERS )COMPUTER PROGRAMS(
Classification :
QA
76
.
7
.
W38
1989
60. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
Classification :
QA76
.
62
.
I58
2010
